Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
261	Semantic Parsing via Paraphrasing Jonathan Berant Stanford University 1 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-04-11 22:58:26 Formal languages Algebraic logic Philosophical logic Boolean algebra Formal grammar Entailment Semantics Model theory Function Logic Mathematics Metalogic
262	TopSpeed ODBC Interface — syntax statement ::= CREATE create \| DROP drop \| SELECT select orderby \| INSERT insert \| DELETE delete \| UPDATE update \| passthroughSQL passthroughSQL ::= any statement supported by the backen Add to Reading List Source URL: www.softvelocity.com Language: English - Date: 2008-11-04 18:15:17 Query languages Null Boolean algebra SQL Boolean data type Select Expr Computing SQL keywords Data management
263	CS109B Notes for LectureTautologies Logical expressions that evaluate to TRUE for any truth-assignment. Embody reasoning principles. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:11 Mathematical logic Logical truth Boolean algebra Semantics Tautology Substitution Truth table Proof by contradiction Contradiction Logic Propositional calculus Mathematics
264	An Equational Approach to Secure Multi-party Computation∗ Daniele Micciancio† Stefano Tessaro‡ January 12, 2013 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-09-26 16:14:53 Secure multi-party computation Computing Universal composability Communications protocol Verifiable secret sharing Boolean algebra Π-calculus Consensus Cryptographic protocols Data Information
265	Supporting Non-membership Proofs with Bilinear-map Accumulators Ivan Damg˚ard ∗ University of Aarhus Denmark Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-22 03:42:39 Set theory Boolean algebra Complete Boolean algebra Forcing Order theory Tree Mathematical logic Large cardinals Mathematics
266	Negative Concord in Georgian Aurore González Harvard University Negative Concord (NC) is a phenomenon refering to cases where multiple occurrences of morphologically negative constituents express semantically a single n Add to Reading List Source URL: eastcoastfive.files.wordpress.com Language: English - Date: 2015-03-24 10:40:03 Mathematics Negation Rhetoric Boolean algebra Double negative Language Logic programming Yes and no Grammar Semantics Linguistics
267	Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability Yichen Xie and Alex Aiken Stanford University This article presents Saturn, a general framework for building precise and scalable static error Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-21 19:57:13 Formal methods Boolean algebra Symbol Entailment Interpretation Boolean satisfiability problem Logic Theoretical computer science Model theory
268	3. Extrapolation and its LimitsWhy should the unobserved part of reality resemble the observed part? Unobserved emeralds could just as easily be blue, as green. This is a puzzle about type 1 or “inductive” Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2012-05-17 04:38:09 Boolean algebra Binary operations Mathematical logic Truth table Contraposition Modal logic Negation Material conditional Truth Logic Propositional calculus Philosophical logic
269	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
270	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical connectives Classical logic Well-formed formula Negation Logic Propositional calculus Mathematical logic

UPDATE